منابع مشابه
Logic Based and Imperative Coordination Languages
This paper deals with the cooperation between programming systems that belong to diierent paradigms. We explain our approach towards coordination in the context of the recently proposed notions of mega-programming and coordination languages. We show how our logic based parallel language V P L (Vienna Parallel Logic) can be decomposed into a computation and a coordination part. The language cons...
متن کاملImperative OCL Compiler Support for Model Transformations
Model-Driven Architecture (MDA) is a widely known software design approach, which is intended to support model-driven engineering of software systems with specifications expressed as models. Using the MDA methodology, system functionality may first be defined as a platform-independent model (PIM) through an appropriate modeling language. Then the PIM may be translated into one or more platform-...
متن کاملAutomatic Grid workflow based on imperative programming languages
GRID superscalar is a Grid programming environment that enables one to parallelize the execution of sequential applications in computational Grids. The run-time library automatically builds a task datadependence graph of the application and it can be seen as an implicit workflow system. The current interface supports C/C++ and Perl applications. The run-time library is based on Globus Toolkit 2...
متن کاملAnonymous Variables in Imperative Languages
In this paper, we bring anonymous variables into imperative languages. Anonymous variables represent don’t-care values and have proven useful in logic programming. To bring the same level of benefits into imperative languages, we describe an extension to C wth anonymous variables.
متن کاملLocal Modules in Imperative Languages
We propose a notion of local modules for imperative langauges. To be specific, we introduce a new implication statement of the form D ⊃ G where D is a module (i.e., a set of procedure declarations) and G is a statement. This statement tells the machine to add D temporarily to the program in the course of executing G. Thus, D acts as a local module and will be discarded after executing G. It the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2014
ISSN: 0167-6423
DOI: 10.1016/j.scico.2013.10.003